In his Critique of Pure Reason Immanuel Kant presents four antinomies. In his attempt to solve the first of these antinomies he examines and analyzes "thesis" and "antithesis" more thoroughly and employs the terms `part', `whole' and `boundary' in his argumentation for their validity. According to Kant, the whole problem surrounding the antinomy was caused by applying the concept of the world to nature and then using both terms interchangeably. While interesting, this solution is still not that much more than (...) a well thought out idea if it does not also include an adequate formal explication. Since the aforementioned terms all have counterparts in modern mereotopology, a discipline that has seen significant progress in recent times, we will apply these concepts to Kant's analysis in an attempt to evaluate Kant's solution in light of modern analytic philosophy. (shrink)

Antonio Caso, “La existencia como economía y como caridad” (1916). Translated with Jose G. Rodriguez Jr. as “Existence as Economy and as Charity,” in 20th Century Mexican Philosophy: Essential Readings, eds. Carlos Alberto Sánchez and Robert Eli Sanchez, Jr. (New York: Oxford University Press, 2017).

Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The Cell Ontology (CL) is designed to provide a standardized representation of cell types for data annotation. Currently, the CL employs multiple is_a relations, defining cell types in terms of histological, functional, and lineage properties, and the majority of definitions are written with sufficient generality to hold across multiple species. This approach limits the CL’s utility for cross-species data integration. To address this problem, we developed a method for the ontological representation of cells and applied this method to develop a (...) dendritic cell ontology (DC-CL). DC-CL subtypes are delineated on the basis of surface protein expression, systematically including both species-general and species-specific types and optimizing DC-CL for the analysis of flow cytometry data. This approach brings benefits in the form of increased accuracy, support for reasoning, and interoperability with other ontology resources. 104. Barry Smith, “Toward a Realistic Science of Environments”, Ecological Psychology, 2009, 21 (2), April-June, 121-130. Abstract: The perceptual psychologist J. J. Gibson embraces a radically externalistic view of mind and action. We have, for Gibson, not a Cartesian mind or soul, with its interior theater of contents and the consequent problem of explaining how this mind or soul and its psychological environment can succeed in grasping physical objects external to itself. Rather, we have a perceiving, acting organism, whose perceptions and actions are always already tuned to the parts and moments, the things and surfaces, of its external environment. We describe how on this basis Gibson sought to develop a realist science of environments which will be ‘consistent with physics, mechanics, optics, acoustics, and chemistry’. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (shrink)

International Studies in the Philosophy of Science, Volume 27, Issue 3, Page 273-293, September 2013.

European Journal of Political Theory, Volume 21, Issue 3, Page 601-607, July 2022. Ayelet Shachar's The Shifting Border deploys a powerful map metaphor to support rethinking of borders and their functions. I interrogate this metaphor, developing some of the representational, constructive, and normative functions of maps, along with their connections to legal mechanisms for decoupling migration from territory. I survey three responses to the extra-territorialization of migration: a cynical response that rejects the possibility of migration justice, an abolitionist response (...) connected to open borders, and a revisionist response that advocates for widescale institutional reform. The revisionist response illuminates how Shachar's essay challenges us to reflect on what sorts of maps and accompanying social and political organizations would best support migrant justice. (shrink)

Mark Jago has presented a dilemma for truthmaker non-maximalism—the thesis that some but not all truths require truthmakers. The dilemma arises because some truths that do not require truthmakers by the non-maximalist’s lights (e.g., that Santa Claus does not exist) are necessitated by truths that do (e.g., that Barack Obama knows that Santa Claus does not exist). According to Jago, the non-maximalist can supply a truthmaker for such a truth only by conceding the primary motivation for the view: that it (...) allows one to avoid positing strange ‘negative’ entities without adopting a non-standard account of the necessary features of ordinary things. In this paper, I sketch out and defend two plausible non-maximalist proposals that evade Jago’s dilemma. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Joint attention is a social-cognitive phenomenon in which two or more agents direct their attention together towards the same object. Definitions range from this rather broad conception to more specific definitions which require that, in addition, attention be directed to the same aspect of that object and that agents need to be mutually aware of their jointly attending. Joint attention is an important coordination mechanism in joint action. The capacity for engaging in joint attention, in particular in the sense of (...) this narrower definition, is frequently taken to indicate the presence of theory of mind in the participating agents, and is also implicated in the development of theory of mind. However, the prominence of sensorimotor components in establishing and sustaining episodes of joint attention — e.g., eye and head movements, pointing and vocalizations — suggests that sensorimotor approaches to social interaction may be well-placed to account for important parts of joint attention without invoking theory-of-mind abilities, and may therefore provide a valuable alternative to approaches emphasizing theory of mind. In particular, sensorimotor accounts may explain aspects of joint attention through the dynamics and regularities in the sensorimotor processes that coordinate the activities of the agents. (shrink)

Harry G. Frankfurt’s work on agency and reflexivity represents one of the most important attempts in the current philosophical literature to elaborate the structure of agency. Frankfurt wishes to provide an account of what I call the “deep structures” of agency—those features of agency, such as care and love, in virtue of which the surface features, such as desire, are to be explained and understood. These deep structures are important because of their power to explain unified diachronic patterns in our (...) lives rather than just individual actions. In doing so, Frankfurt seeks to be a Humean in Aristotelian clothing: he desires the richness of a broadly Aristotelian moral psychology–specifically, an Augustinian variant of this—built out of the resources of a Humean human nature in which the “passions,” or here, those objects we care about, are fundamental. -/- Thus Frankfurt develops concepts such as second-order desire, identification and dissociation, wholeheartedness, and love without incurring significant metaphysical costs. Through these concepts Frankfurt provides an account with extraordinary richness. However, I argue that Frankfurt’s minimalism conflicts with his attempts to provide so rich an account of our moral lives. In particular, his attempt to make caring foundational for practical reason undermines his conception of identification and dissociation. Frankfurt’s Humeanism commits him to a tragic moral universe in which the dissociation of desire is little more than an exercise in self-deception rather than a means of guaranteeing psychic unity. -/- I then argue that a superior account of moral life and the moral self can be constructed through greater reliance upon Augustinian ideas concerning the nature of love that is rooted in two concepts: affinity and peace. The concept of affinity provides a basis for evaluating what is worth loving and the concept of peace, central to Augustine’s moral psychology, is used to analyze the structure of love itself in its many manifestations. This account is less minimalist than Frankfurt’s but is more faithful to our moral experience and provides a more powerful and nuanced analysis of moral life and the self. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

Background: Many people with aphasia and people without brain injury talk to themselves in their heads, i.e., have “inner speech.” Inner speech may be more preserved compared with spoken speech for some people with aphasia and may serve a variety of functions (e.g., emotion regulation), which motivates us to provide a high-fidelity characterization of it. Researchers have used multiple methods to measure this internal phenomenon in the past, which we combine here for the first time in a single study. -/- (...) Aims: We compare performance between individuals with and without aphasia on inner speech tasks that assess inner speech “inthe- moment” to general subjective impressions of inner speech to tease apart the relationship of aphasia severity to inner speech. Methods and Procedures: Twenty people with mild-moderate aphasia and twenty neurotypical controls completed several inner speech tasks, including objective silent rhyme judgements (picture, written, and auditory), subjective reports of inner speech during naming, and subjective rating scales about inner speech experience more generally. -/- Outcomes and Results: In-the-moment inner speech during silent rhyming tasks was associated with aphasia severity only for picture and written rhyming but not auditory rhyming. In-the-moment inner speech reports during silent naming were not associated with aphasia severity, nor were the subjective ratings about general inner speech experience. Individuals with and without aphasia demonstrated a variety of subjective general inner speech experiences, demonstrating heterogeneity of this phenomenon more broadly. -/- Conclusions: Methods of measuring inner speech complement each other and speak to different facets of the inner speech phenomenon, and clinicians and researchers must carefully choose the method(s) that will provide the information about inner speech that they desire. (shrink)

Traditionally, intuitions about cases have been taken as strong evidence for a philosophical position. I argue that intuitions about concept deployment have epistemic value while intuitions about matters of fact have none. I argue this by use of the explanationist criterion which contends that S is justified in believing only those propositions which are part of the best explanation of S’s making the judgements she makes. This criterion accords with scientific practice. Bealer suggests, as a defence of intuition, that naturalists (...) rely on intuition in their arguments against intuition and thus that their arguments are self-undermining. But beliefs based on intuitions about the application of concepts, like ‘justification’ and ‘theory,’ are epistemically justified by the explanationist criterion. It is only intuitions about matters of fact which are rejected. Thus, epistemically-respectable intuitions about concepts are used to undermine intuitions about metaphysics. There is nothing self-undermining about this. (shrink)

Individualist subjectivism is a position in metaethics which states that moral claims are descriptions of attitudes, e.g. 'murder is wrong' means 'I disapprove of murder'. In this short article I present a novel argument against it by appealing to the conversion between first-person and third-person claims. I argue that individualist subjectivism, and more broadly, any propositions which refer to the self without a word like 'I' or me', fail to account for the fact that person with the name X saying (...) 'I' could be rephrased as anybody saying 'X', a process I call 'personalisation'. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (shrink)

G. Hegel in his Introduction to the History of Philosophy limits the initiation of this study to the field of the kind of thinking that emerged in Greece in the S. V ac, starting to do it that in other traditions (in which states, the Taoism, the religion of the Vedas, the Buddhism), the thinking is not autonomus in relation to a religious, mystical, mythological or customs justifications. Therefore there is no thought free of external determinations in these traditions. This (...) Hegelian principle has been accepted by the vast majority of those who carry out the study on the origin and history of philosophy. This paper intends to point out, following comments from experts in the field, how in certain traditions of Indian philosophy defined as nastika darshanas, and taking the Cārvāka materialism as example, philosophical thought occurs free from external determinations (religious, mythological, etc.), without prejudice to those philosophical systems which have been useful when justifying or discredit certain positions in these branches of human action. (shrink)

It is shown that the infinite-valued first-order Gödel logic G° based on the set of truth values {1/k: k ε w {0}} U {0} is not r.e. The logic G° is the same as that obtained from the Kripke semantics for first-order intuitionistic logic with constant domains and where the order structure of the model is linear. From this, the unaxiomatizability of Kröger's temporal logic of programs (even of the fragment without the nexttime operator O) and of the authors' temporal (...) logic of linear discrete time with gaps follows. (shrink)

In § 35 of Sein und Zeit Heidegger’s denunciation of Gerede, idle talk, is confident and scathing. It sounds so sinister and threatening. What could Heidegger be talking about? One could cite numerous fictional characters (e.g., Pecksniff, Mrs. Gamp, Skimpole, Podsnap – all in Dickens), characters whose speech is very nearly an idiolect of bad faith. And yet there is something so fascinating and creative in their speech, an exuberance in their dissimulation, that one wouldn’t want to miss them. Could (...) idle talk in Heidegger’s sense contribute to the theoretization of Bakhtin's idea of the dialogic and heteroglossia and to the notion of discours as it has been developed by Benveniste, Barthes, and Genette? In prose fiction language is valorized (often implicitly) in terms of meaning/nonsense, serious/non-serious, full/empty. When in fiction language that is deemed low, formulaic, or “empty”-- gossip, chatter, prattle, idiotismes – comes to the fore the narrative elements falters, “nothing much” is said. But a kind of speech as act and process is foregrounded. It is this kind of inadvertence in language, its “idling” state, that Gerede points to. (shrink)

Volume 19, Issue 7, July 2019, Page 28-30.

Alexander James Dallas' An Exposition of the Causes and Character of the War was written as part of an effort by the then US government to explain and justify its declaration of war in 1812. However publication coincided with the ratification of the Treaty of Ghent, which ended the War. The Exposition is especially interesting for the insight it provides into the self-constraint of American foreign policy and of the conduct of a war. The focus is on the foreign (...) policy of the early republic and the related philosophy of law and war. A central idea is that international law should chiefly benefit those remaining at peace. -/- Dallas was a Philadelphian who settled there in 1783, the year of the Peace of Paris which ended the War of Independence, arriving from Jamaica after a British education. He wrote much on law, becoming the first recorder of cases before the U.S. Supreme Court. He later served as Secretary of the Commonwealth of Pennsylvania, and federal district attorney for Eastern Pennsylvania, appointed by President Jefferson. He was appointed Secretary of Treasury by President Madison. -/- In this edition the original text is presented with annotations to help identify persons and events of interest. The editor has also added an Introduction, a Bibliography, a short Chronology of Dallas' life and the events of the War, and an analytical Index. As such this annotated edition presents a key primary source in a manner helpful to research for students of the early Republic. (shrink)

We are currently witnessing a renewal of broad public interest in the life and career of Alexander Hamilton – justly famed as an American founder. This volume examines the possible present-day significance of the man, noting that this is not the first revival of interest in the statesman. Hamilton was a major background figure in the GOP politics of the Gilded Age, with the powerful US Senator Henry Cabot Lodge, Sr. drawing on Hamilton to inspire a new, assertive American (...) role in the world. Hamilton was first prominent as a soldier and aide to General Washington, and believed in centralization of power in the federal government and an energetic presidency. He founded the American financial system as the first Secretary of the Treasury, and was a great moving force of America’s first nationalist-conservative party – the Federalists. As shown here, close scholarly attention to Lodge’s biography brings out the darker sides of the celebrated hero. Hamilton’s deeper conviction was the need of an elitist “aristocratic republic,” and he was an advocate of military-commercial empire. The Gilded Age Hamilton revival helped inspire the Spanish-American war of 1898 and an American overseas empire. This book will be of interest for students and professionals in political philosophy, political science, American history and American studies. (shrink)

Volume 20, Issue 2, February 2020, Page 20-22.

The Medical bot project is built using artificial algorithms that analyses user’s queries and understand user’s message. This System is a web application which provides answer to the query of the patients. Patients just have to query through the bot which is used for chatting. Patients can chat using any format there is no specific format the user has to follow. The System uses built in artificial intelligence to answer the query. The answers are appropriate what the user queries. The (...) User can query any Medical related activities through the system. The user does not have to personally go to the Medical for enquiry. The System analyses the question and then answers to the user. The system answers to the query as if it is answered by the person. With the help of artificial intelligence, the system answers the query asked by the patients. The system replies using an effective Graphical user interface which implies that as if a real person is talking to the user. The user just has to register himself to the system and has to login to the system. After login user can access to the various helping pages. Various helping pages has the bot through which the user can chat by asking queries related to Medical activities. The system replies to the user with the help of effective graphical user interface. The user can query about the Medical related activities through online with the help of this web application. The user can query Medical related activities such as date and timing of annual day, sports day, and other cultural activities. This system helps the patients to be updated about the Medical activities. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:This Universalism Which Is Not OneLinda M. G. Zerilli (bio)Ernesto Laclau. Emancipation(s). London: Verso, 1996.Judging from the recent spate of publications devoted to the question of the universal, it appears that, in the view of some critics, we are witnessing a reevaluation of its dismantling in twentieth-century thought. One of the many oddities about this “return of the universal” 1 is the idea that contemporary engagements with it are (...) more or less of a piece, and that they reflect a growing consensus that poststructuralist political theories are incapable of generating a viable alternative to the collective fragmentation that characterizes late modernity. 2 The putative return to the universal marks, on this view, both a homecoming to Enlightenment ideals—purified of their more poisonous elements, of course—and a reconciliation of sorts between those who refuted these ideals and those who sought to realize them. Now that “we” all know and agree that poststructuralism is critically valuable but politically bankrupt; now that we all know and agree that the “old universal” was indeed a “pseudo-universal,” so the homecoming narrative goes; we can get on with the project of constructing a “new universal.” 3 This authentic universal would really be inclusive of all people, regardless of race, class, gender, sexuality, ethnicity, nationality, and whatever else attaches to the “embarrassing etcetera” that, as Judith [End Page 3] Butler reminds us, inevitably accompanies such gestures of acknowledging human diversity.Before signing on to this felicitous agreement about “the necessity of universalism,” we may wish to know whether we have anything like a minimal agreement in language, that is, whether we who speak of this universal are even speaking about the same thing. Apart from the not insignificant problem of translating from a philosophical to a political idiom, the whole question of this agreement is virtually occluded by the rush to rescue politics from the virulent particularisms that admit no common ground or sense of collective belonging. Presented in terms of the familiar binary couple, the choice between universalism and particularism seems settled by merely pointing to global and domestic political realities. Universalism is the only alternative to social fragmentation, wild child of the collapse of communism, the rise of deadly nationalisms, and the multiculturalist romance with particularism. To invoke the name of the universal in any affirmative sense is already to sign on to the political diagnosis and its solution.One of the many virtues of Ernesto Laclau’s Emancipation(s) is that it offers both an alternative to the binarisms spawned by the “return” to the universal (for example, false universalism/true universalism) and a trenchant critique of the original binary couple itself (universalism/ particularism). Demonstrating the imbrication of the universal and the particular, Laclau shows why it is a matter not of choosing one over the other but of articulating, in a scrupulously political sense, the relation between the two. He thus explicitly rejects the notion that this relation is one of mutual exclusion, and shows that the tendency to see it as just that has led to the impasse of the contemporary debate, an impasse that is glossed over in some highly visible academic cases by proclaiming the necessary return to the universal. Although the language of universalism as spoken by Laclau searches for some common ground between particularists and universalists, it is more by way of articulating their mutual contamination, that is, how each is rendered impure by the irreducible presence of the other.The Problem of UniversalsLaclau situates his collection of essays in the context of the increasingly polarized debate over multiculturalism, a debate in which the classical universalism of the philosophical tradition has come under serious question. Reading his essays, one comes to see the deep dependence of the entire contemporary discussion on this tradition, even when its metaphysical assumptions are explicitly rejected (as, say, in the work of Seyla Benhabib) or insufficiently comprehended (as in most of the popularized political discourse). Laclau’s book can help us to see that the political question of universalism cannot be posed properly as long as it remains tethered to the classical philosophical “problem of universals.” At stake in sorting out the affinities and... (shrink)

As formal theoretical linguistic methodology has matured, recent years have seen the advent of applying it to objects of study that transcend language, e.g., to the syntax and semantics of music (Lerdahl & Jackendoff 1983, Schlenker 2017a; see also Rebuschat et al. 2011). One of the aims of such extensions is to shed new light on how meaning is construed in a range of communicative systems. In this paper, we approach this goal by looking at narrative dance in the form (...) of Bharatanatyam. We argue that a semantic approach to dance can be modeled closely after the formal semantics of visual narrative proposed by Abusch (2013, 2014, 2021). A central conclusion is that dance not only shares properties of other fundamentally human means of expression, such as visual narrative and music, but that it also exhibits similarities to sign languages and the gestures of non-signers (see, e.g., Schlenker 2020) in that it uses space to track individuals in a narrative and performatively portray the actions of those individuals. From the perspective of general human cognition, these conclusions corroborate the idea that linguistic investigations beyond language (see Patel-Grosz et al. forthcoming) can yield insights into the very nature of the human mind and of the communicative devices that it avails. (shrink)

It is commonly assumed that personalization technologies used by Google for the purpose of tailoring search results for individual users create filter bubbles, which reinforce users’ political views. Surprisingly, empirical evidence for a personalization-induced filter bubble has not been forthcoming. Here, we investigate whether filter bubbles may result instead from a searcher’s choice of search queries. In the first experiment, participants rated the left-right leaning of 48 queries (search strings), 6 for each of 8 topics (abortion, benefits, climate change, sex (...) equality, immigration, nuclear family, Islam, and taxation). An independent sample of participants were then asked to select one of these queries for each of the 8 topics. With the exception of the topic of Islam, participants were significantly more likely to select a query corresponding to their own political leaning, compared to other queries, explaining between 12% and 39% of the variance. A second experiment investigated the effect of the political leaning of the same queries on the overall political leaning of Search Engine Result Pages (SERPs) in Google Search. The top six results of each SERP were rated collectively by a third group of participants, explaining 36.3% of the variance across all 48 search terms (p < .00001). That is, (1) participants in our experiments tended to select own-side search queries, and (2) using those queries tended to yield own-side search results when using the Google search engine. Our results are consistent with the notion of a self-imposed filter bubble in which query selection plays a salient role. (shrink)

Abstract Philosophical discussion of Alan Turing’s writings on intelligence has mostly revolved around a single point made in a paper published in the journal Mind in 1950. This is unfortunate, for Turing’s reflections on machine (artificial) intelligence, human intelligence, and the relation between them were more extensive and sophisticated. They are seen to be extremely well-considered and sound in retrospect. Recently, IBM developed a question-answering computer (Watson) that could compete against humans on the game show Jeopardy! There are hopes it (...) can be adapted to other contexts besides that game show, in the role of a collaborator of, rather than a competitor to, humans. Another, different, research project --- an artificial intelligence program put into operation in 2010 --- is the machine learning program NELL (Never Ending Language Learning), which continuously ‘learns’ by ‘reading’ massive amounts of material on millions of web pages. Both of these recent endeavors in artificial intelligence rely to some extent on the integration of human guidance and feedback at various points in the machine’s learning process. In this paper, I examine Turing’s remarks on the development of intelligence used in various kinds of search, in light of the experience gained to date on these projects. (shrink)

Analytic Philosophy, Volume 63, Issue 1, Page 16-27, March 2022.

Quine's aim in this slim book is to "update, sum up and clarify variously intersecting views on cognitive meaning, objective referencce, and the grounds of knowledge." Only nine pages had previously appeared as the book came to print. It is based largely on unpublished lectures and informal discussions of the past ten years back to the Immanuel Kant Lectures given at Stanford in 1980. It does not, then duplicate Leonelli's Italian translation of the Kant lectures, La Scienza E I Datti (...) di Senso, which appeared in 1987. (shrink)

740 page life in letters, including all Hegel's available letters at time of publication by Indiana University Press in 1984 tied together by a running commentary by Clark Butler. The volume is in a searchable PDF format. Publication was supported by a Major Grant by the National Endowment of the Humanities (NEH).

Have you ever kept a diary of your personal life? For many people, keeping a written record of their experiences, thoughts, feelings, travels or encounters with people is a common practice. For others, it is not. Perhaps for some it is something completely foreign. For Russian Orthodox priest Alexander Schmemann it was clearly not. His diary, two volumes of almost 600 pages each, has given an insight into the life, worries, joys and even disappointments of one of the most (...) influential theologians of the 20th century. On this occasion we would like to refer to the first volume and scrutinize a little of what this work brings to the world today. ¿Ha llevado usted un diario de su vida personal? Para muchas personas, llevar un registro escrito de sus vivencias, pensamientos, sentimientos, viajes o encuentros con personas es una práctica común. Para otros no. Quizá para algunos esto es algo completamente ajeno. Es evidente que para el sacerdote ortodoxo ruso Alexander Schmemann no lo fue. Su diario, dos tomos de casi 600 páginas cada uno, ha dejado ver a fondo la vida, preocupaciones, alegrías, e incluso desilusiones de uno de los teólogos más influyentes del siglo XX. En esta ocasión queremos referirnos al primer tomo y escudriñar un poco qué aporta esta obra al mundo de hoy. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...) At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

This article argues that economic crises are incompatible with the realisation of non-domination in capitalist societies. The ineradicable risk that an economic crisis will occur undermines the robust security of the conditions of non-domination for all citizens, not only those who are harmed by a crisis. I begin by demonstrating that the unemployment caused by economic crises violates the egalitarian dimensions of freedom as non-domination. The lack of employment constitutes an exclusion from the social bases of self-respect, and from a (...) practice of mutual social contribution crucial to the intersubjective affirmation of one’s status. While this argument shows that republicans must be concerned about economic crises, I suggest a more powerful argument can be grounded in the republican requirement that freedom must be robust. The systemic risk of economic crisis constitutes a threat to the conditions of free citizenship that cannot be nullified using policy mechanisms. As a result, republicans appear to be faced with the choice of revising their commitments or rejecting the possibility that republican freedom can be robustly secured in capitalist societies. (shrink)

In attempts to compare different distributions with regards to need, so-called “measures of need-based distributive justice” have emerged in recent years. Each of the proposed measures relies on a single dimension of need that is taken into account. This is shown to be problematic since humans experience different kinds of need that appear to be incommensurable. A strategy to deal with this problem is introduced by using multidimensional measures.

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

International regulation of autonomous weapon systems (AWS) is increasingly conceived as an exercise in risk management. This requires a shared approach for assessing the risks of AWS. This paper presents a structured approach to risk assessment and regulation for AWS, adapting a qualitative framework inspired by the Intergovernmental Panel on Climate Change (IPCC). It examines the interactions among key risk factors—determinants, drivers, and types—to evaluate the risk magnitude of AWS and establish risk tolerance thresholds through a risk matrix informed by (...) background knowledge of event likelihood and severity. Further, it proposes a methodology to assess community risk appetite, emphasizing that such assessments and resulting tolerance levels should be determined through deliberation in a multistakeholder forum. The paper highlights the complexities of applying risk-based regulations to AWS internationally, particularly the challenge of defining a global community for risk assessment and regulatory legitimization. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

A number of bioethicists have been critical of the power of the family to “veto” a patient’s decision to posthumously donate her organs within opt-in systems of organ procurement. One major objection directed at the family veto is that when families veto the decision of their deceased family member, they do something wrong by violating or failing to respect the autonomy of that deceased family member. The goal of this paper is to make progress on answering this objection. I do (...) this in two stages. First, I argue that the most plausible interpretation of what happens when a person registers as an organ donor in an opt-in system is that she gives her consent to the state to posthumously remove her organs for transplantation purposes. Call this the Authorization Account. Second, given the Authorization Account, I argue by analogy that when families veto an individual’s decision to donate and the individual’s organs are not in the end removed, neither the doctors nor the family violate the individual’s autonomy in any morally objectionable sense. Call this the Nonremoval Thesis. I argue that since the Nonremoval Thesis is true, we do not violate or fail to respect the autonomy of registered donors when we fail to remove their organs because their family has objected. (shrink)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

This slim yet elegant volume begins with accounts of Cicero and Alexander, and continues with the story of a millionaire who wanted to save for the next six generations, a rich man who broke caste barriers through a meal, a farmer who protected his cows transcending religious boundaries, a widow who lived frugally to save for digging a well in her village, dacoits who were more conscious of their reputation than others, a simpleton but generous person who gave up (...) his family share to avoid disputes, and a boy who is compelled to steal to feed his ailing mother; and ends with legendary accounts of Dronacharya and Tansen. (shrink)

Verteilungsgerechtigkeit befasst sich mit der Verteilung von Gütern innerhalb einer Gruppe, wobei verschiedene Verteilungsprinzipien und -ergebnisse als mögliche Ideale einer solchen Verteilung verhandelt werden. Diese normativen Ansätze sind oft rein verbal formuliert, wodurch ihre Anwendung auf unterschiedliche konkrete Verteilungssituationen, die hinsichtlich ihrer Gerechtigkeit beurteilt werden sollen, häufig schwer fällt. Eine Möglichkeit, fein abgestufte Gerechtigkeitsbeurteilungen verschiedener Verteilungen präzise erfassen zu können, besteht in der formalen Modellierung solcher Ideale durch Maße oder Indizes. Die Auswahl eines geeigneten Maßes, das ein gewisses Ideal abbilden (...) soll, muss ihrerseits eine Fundierung erfahren, was durch die Forderung von begründeten Axiomen erreicht werden kann, denen ein Maß genügen soll. In der vorliegenden Arbeit werden solche Axiome für Maße der Verteilungsgerechtigkeit am Beispiel von Bedarfsgerechtigkeit eingeführt. Ferner werden exemplarische Maße der Bedarfsgerechtigkeit vorgestellt. Damit wird für die Beurteilung und Modellierung von Maßen der Verteilungsgerechtigkeit eine erste diskutable Grundlage gelegt. (shrink)